proving the squares of 2 odds is even